Representing Concurrent Actions in Extended Logic Programming
نویسندگان
چکیده
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP s). The purpose of this paper is to extend the language and the translation to allow reasoning about the effects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions presented in the paper can be of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms.
منابع مشابه
Representing Concurrent Actions and Solving Connicts
As an extension of the well-known Action Description Language A introduced by M. Gelfond and V. Lifschitz 8], C. Baral and M. Gelfond recently deened the dialect A C which supports the description of concurrent actions 1]. Also, a sound but incomplete encoding of A C by means of an extended logic program was presented there. In this paper, we work on interpretations of contradictory inferences ...
متن کاملMassively Parallel Reasoning about Actions
In 2] C. Baral and M. Gelfond present the language A C for representing concurrent actions in dynamic systems, and give a sound but incomplete encoding of this language in terms of extended logic programming. Using their program, the time the computation of the transition from one situation to another takes increases quadraticly with the size of the considered domain. In this paper, we present ...
متن کاملReasoning About Effects of Concurrent Actions
> Gelfond and Lifschitz introduce a declarative language A for describing eeects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A and its translation to allow reasoning about the eeects of concurrent actions. The logic programming formalization of situation calculus with concurrent actions presented in the pap...
متن کاملReasoning about E ects of Concurrent
Gelfond and Lifschitz introduce a declarative language A for describing eeects of actions and deene translations of theories in this language into extended logic programs. The purpose of this paper is to extend the language and the translation to allow reasoning about the eeects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions presented in the...
متن کاملRepresenting Concurrent Actions and Solving Conflicts
As an extension of the well–known Action Description language A introduced by M. Gelfond and V. Lifschitz [7], C. Baral and M. Gelfond recently defined the dialect AC which allows the description of concurrent actions [1]. Also, a sound but incomplete encoding of AC by means of an extended logic program was presented there. In this paper, we work on interpretations of contradictory inferences f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993